-
1 Arithmetical Comprehension Axiom
Software: ACAУниверсальный русско-английский словарь > Arithmetical Comprehension Axiom
-
2 ACA
1) Общая лексика: Консультативный комитет по распределению2) Компьютерная техника: adaptive channel assignment3) Авиация: airline customization analysis4) Медицина: asymptomatic carotid atherosclerosis5) Французский язык: Канадо-американская (благотворительно-страховая) ассоциация (сокр от Association Canado-Américaine = Canadian-American Association)7) Военный термин: Advisory Committee on Aeroballistics, After Contract Award, Air Combat Command, Airborne Collection Assembly, Airlift Clearance Authorities, Airspace Coordination Area, Allied Command, Atlantic, American Cadet Alliance, Andres Castro Arms, Armaments Control Agency, Arms Control Association, Army Control Authority, Automatic Channel Assignment, Automatic Conference Arranger, advanced cargo aircraft, advanced combat aircraft, agile combat aircraft, air combat analysis, air coordination area, airlift clearance authority, airspace control authority, all composite aircraft, alternate command authority, awaiting combat assignment, орган по контролю за воздушно-космическим пространством (сокр от Aerospace Control Authority)8) Техника: Ammoniacal Copper Arsenite, adaptive clutter attenuator, adjacent channel attenuation, altitude control assembly, annual cutting area, attitude control assembly, automatic call acceptance, automatic call analysis, automatic circuit analyzer, azimuth control amplifier10) Бухгалтерия: Accreditation Council for Accountancy, Actual Cost Adjustment, Associate of the Institute of Chartered Accountants in England and Wales11) Фармакология: антикомплементарное действие (anticomplement ary activity)12) Финансы: accession compensatory amounts13) Телекоммуникации: Automatic Circuit Assurance14) Сокращение: Advanced Cargo Aircraft (US Army), Advisory Committee for Aeronautics, After Contract Award (2004), Allied Control Authority, Ammunition Container Assembly, Armament Control Agency, Associate Contractor Agreement, American Communications Association, adjacent-channel attenuation, automatic circuit analyser, Australian Council of Aeronautics (Австралийский авиационный совет), American Camping Association (Американская (туристическая) ассоциация кемпинга), American Collectors Association (Американская ассоциация инкассаторов кредитной задолженности), American Corriedale Association (Американская ассоциация по разведению овец корриедейлской породы), American Correctional Association (Американская ассоциация содействия улучшению условий тюремного содержания), American Carnivals Association (Американская ассоциация специалистов по организации карнавалов), American Cotton Association (Американская ассоциация экспортёров хлопка), American College of Allergists (Американская корпорация аллергологов), American College of Anesthesiologists (Американская корпорация анестезиологов), American College of Apothecaries (Американская корпорация аптекарей), American Crystallographic Association (Американская кристаллографическая ассоциация), American Canoe Association (Американская любительская ассоциация каноэ-байдарочного спорта), Aeroclub of America (Американский аэроклуб), American Composers Alliance (Американский союз композиторов), Associated Chiropodists of America (Американское объединение врачей — специалистов по лечению заболеваний рук и ног), Anglers’ Co-operative Association (Кооперативная ассоциация рыболовов-спортсменов (Великобритания)), Agricultural Cooperative Association (Сельскохозяйственная кооперативная ассоциация (Великобритания)), Alaska Coastal Airlines (наименование американской компании воздушных сообщений)15) Электроника: Anisotropically Conductive Adhesive16) Вычислительная техника: Application Control Architecture, Asynchronous Communications Adapter, архитектура управления приложениями, область памяти для хранения активной конфигурации17) Биохимия: aminocephalosporonic acid18) Транспорт: Advance Cargo Advice19) Пищевая промышленность: Agricultural Crop Additive20) Радиолокация: адаптивный ослабитель сигналов, обусловленных мешающими отражениями (сокр от adaptive clutter attenuator)21) Фирменный знак: Anti Copyright Association, Apples Of California Agriculture, Asean Cosmetic Association22) СМИ: Association of Canadian Advertisers23) Деловая лексика: A Cut Above, AGRICULTURAL CREDIT ASSOCIATIONS24) Сетевые технологии: Address Control Application, American Communication Association, Американская ассоциация связи25) Расширение файла: Project Manager Workbench Project file26) Общественная организация: Adult Children Of Alcoholics, Alley Cat Allies, American Camp Association, Animal Charities of America, Asia Children's Assistance, LTD, AsiaChildren's Assistance, LTD27) NYSE. Alabama Power Company29) Программное обеспечение: Arithmetical Comprehension Axiom -
3 AcA
1) Общая лексика: Консультативный комитет по распределению2) Компьютерная техника: adaptive channel assignment3) Авиация: airline customization analysis4) Медицина: asymptomatic carotid atherosclerosis5) Французский язык: Канадо-американская (благотворительно-страховая) ассоциация (сокр от Association Canado-Américaine = Canadian-American Association)7) Военный термин: Advisory Committee on Aeroballistics, After Contract Award, Air Combat Command, Airborne Collection Assembly, Airlift Clearance Authorities, Airspace Coordination Area, Allied Command, Atlantic, American Cadet Alliance, Andres Castro Arms, Armaments Control Agency, Arms Control Association, Army Control Authority, Automatic Channel Assignment, Automatic Conference Arranger, advanced cargo aircraft, advanced combat aircraft, agile combat aircraft, air combat analysis, air coordination area, airlift clearance authority, airspace control authority, all composite aircraft, alternate command authority, awaiting combat assignment, орган по контролю за воздушно-космическим пространством (сокр от Aerospace Control Authority)8) Техника: Ammoniacal Copper Arsenite, adaptive clutter attenuator, adjacent channel attenuation, altitude control assembly, annual cutting area, attitude control assembly, automatic call acceptance, automatic call analysis, automatic circuit analyzer, azimuth control amplifier10) Бухгалтерия: Accreditation Council for Accountancy, Actual Cost Adjustment, Associate of the Institute of Chartered Accountants in England and Wales11) Фармакология: антикомплементарное действие (anticomplement ary activity)12) Финансы: accession compensatory amounts13) Телекоммуникации: Automatic Circuit Assurance14) Сокращение: Advanced Cargo Aircraft (US Army), Advisory Committee for Aeronautics, After Contract Award (2004), Allied Control Authority, Ammunition Container Assembly, Armament Control Agency, Associate Contractor Agreement, American Communications Association, adjacent-channel attenuation, automatic circuit analyser, Australian Council of Aeronautics (Австралийский авиационный совет), American Camping Association (Американская (туристическая) ассоциация кемпинга), American Collectors Association (Американская ассоциация инкассаторов кредитной задолженности), American Corriedale Association (Американская ассоциация по разведению овец корриедейлской породы), American Correctional Association (Американская ассоциация содействия улучшению условий тюремного содержания), American Carnivals Association (Американская ассоциация специалистов по организации карнавалов), American Cotton Association (Американская ассоциация экспортёров хлопка), American College of Allergists (Американская корпорация аллергологов), American College of Anesthesiologists (Американская корпорация анестезиологов), American College of Apothecaries (Американская корпорация аптекарей), American Crystallographic Association (Американская кристаллографическая ассоциация), American Canoe Association (Американская любительская ассоциация каноэ-байдарочного спорта), Aeroclub of America (Американский аэроклуб), American Composers Alliance (Американский союз композиторов), Associated Chiropodists of America (Американское объединение врачей — специалистов по лечению заболеваний рук и ног), Anglers’ Co-operative Association (Кооперативная ассоциация рыболовов-спортсменов (Великобритания)), Agricultural Cooperative Association (Сельскохозяйственная кооперативная ассоциация (Великобритания)), Alaska Coastal Airlines (наименование американской компании воздушных сообщений)15) Электроника: Anisotropically Conductive Adhesive16) Вычислительная техника: Application Control Architecture, Asynchronous Communications Adapter, архитектура управления приложениями, область памяти для хранения активной конфигурации17) Биохимия: aminocephalosporonic acid18) Транспорт: Advance Cargo Advice19) Пищевая промышленность: Agricultural Crop Additive20) Радиолокация: адаптивный ослабитель сигналов, обусловленных мешающими отражениями (сокр от adaptive clutter attenuator)21) Фирменный знак: Anti Copyright Association, Apples Of California Agriculture, Asean Cosmetic Association22) СМИ: Association of Canadian Advertisers23) Деловая лексика: A Cut Above, AGRICULTURAL CREDIT ASSOCIATIONS24) Сетевые технологии: Address Control Application, American Communication Association, Американская ассоциация связи25) Расширение файла: Project Manager Workbench Project file26) Общественная организация: Adult Children Of Alcoholics, Alley Cat Allies, American Camp Association, Animal Charities of America, Asia Children's Assistance, LTD, AsiaChildren's Assistance, LTD27) NYSE. Alabama Power Company29) Программное обеспечение: Arithmetical Comprehension Axiom
См. также в других словарях:
Second-order arithmetic — In mathematical logic, second order arithmetic is a collection of axiomatic systems that formalize the natural numbers and sets thereof. It is an alternative to axiomatic set theory as a foundation for much, but not all, of mathematics. The… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Ordinal analysis — In proof theory, ordinal analysis assigns ordinals (often large countable ordinals) to mathematical theories as a measure of their strength. The field was formed when Gerhard Gentzen in 1934 used cut elimination to prove, in modern terms, that… … Wikipedia
Computability theory — For the concept of computability, see Computability. Computability theory, also called recursion theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown … Wikipedia
Zermelo–Fraenkel set theory — Zermelo–Fraenkel set theory, with the axiom of choice, commonly abbreviated ZFC, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics.ZFC consists of a single primitive ontological notion, that of… … Wikipedia
Recursion theory — Recursion theory, also called computability theory, is a branch of mathematical logic that originated in the 1930s with the study of computable functions and Turing degrees. The field has grown to include the study of generalized computability… … Wikipedia
History of science — History of science … Wikipedia
Finitary relation — This article sets out the set theoretic notion of relation. For a more elementary point of view, see Binary relation. For a combinatorial viewpoint, see Theory of relations. For other uses, see Relation (disambiguation). In set theory and logic,… … Wikipedia